1381. Runtime verification :
Author: Christian Colombo, Martin Leucker (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
1382. SACALC (computer file): signal analysis calculator
Author: / William T. Hardy
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Signal processing- Mathematics- Software,Software engineering
Classification :
TK5102
.
5
.
H327
1990
1383. STEAM Education :
Author: editors, Myint Swe Khine and Shaljan Ageepattamannil.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering-- Study and teaching.,Mathematics-- Study and teaching.,Science-- Study and teaching.,Technology-- Study and teaching.,Engineering-- Study and teaching.,Mathematics-- Study and teaching.,SCIENCE-- Study & Teaching.,Science-- Study and teaching.,Technology-- Study and teaching.
Classification :
Q181
1384. STEAM jobs in space exploration /
Author: Ray Reyes ; edited by Keli Sipperley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering-- Vocational guidance, Juvenile literature.,Science-- Vocational guidance, Juvenile literature.,Space sciences-- Vocational guidance, Juvenile literature.,Engineering-- Vocational guidance.,JUVENILE NONFICTION-- Science & Nature-- Astronomy.,Science-- Vocational guidance.,Space sciences-- Vocational guidance.,Outer space, Exploration, Vocational guidance, Juvenile literature.,Outer space., 0, 7
Classification :
QB500
.
22
.
R49
2018eb
1385. Sampling, Wavelets, and Tomography
Author: edited by John J. Benedetto, Ahmed I. Zayed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer vision.,Engineering mathematics.,Global analysis (Mathematics).,Harmonic analysis.,Mathematics.
1386. Scalar Diffraction from a Circular Aperture
Author: by Charles J. Daly, Navalgund A. H. K. Rao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biomedical engineering.,Computer science.,Computer vision.,Surfaces (Physics).
1387. Scaling, fractals and wavelets /
Author: edited by Patrice Abry, Paulo Gonçalves, Jacques Lévy Véhel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fractals.,Signal processing-- Mathematics.,Wavelets (Mathematics),COMPUTERS-- Information Theory.,Fractals.,Signal processing-- Mathematics.,TECHNOLOGY & ENGINEERING-- Signals & Signal Processing.,Wavelets (Mathematics)
Classification :
TK5102
.
9
.
L65
2009
1388. Scan Statistics and Applications
Author: edited by Joseph Glaz, N. Balakrishnan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Mathematics.
1389. Science in dispute
Author: / Neil Schlager, editor
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Science--Social aspects,Technology--Social aspects,Science--Philosophy,Science--History
1390. Scientific Computation with Automatic Result Verification
Author: edited by Ulrich Kulisch, Hans J. Stetter.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.,Microprogramming.
1391. Scientific Computing with Mathematica®
Author: by Addolorata Marasco, Antonio Romano.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Differential Equations.,Engineering mathematics.,Mathematics.
1392. Scientific Modeling and Simulations
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Physics. ; Chemistry. ; Computer simulation. ; Computer science. ; Engineering mathematics. ; Physics. ; Numerical and Computational Physics. ; Appl.Mathematics/Computational Methods of Engineering. ; Simulation and Modeling. ; Computational Science and E
1393. Scientific computing :
Author: Bertil Gustafsson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer input-output equipment.,Computer science-- Mathematics.,Computers.,History.,Mathematics.,Science-- Data processing.,Computer hardware.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- General.,Engineering-- Data processing.,Engineering-- Mathematical models.,History of mathematics.,Mathematical theory of computation.,Mathematics-- Counting & Numeration.,Mathematics-- History & Philosophy.,Numerical analysis.,Program concepts-- learning to program.,Science-- Data processing.,Science-- Mathematical models.
Classification :
Q183
.
9
.
G87
2018
1394. Scientific computing in electrical engineering :
Author: Ulrich Langer, Wolfgang Amrhein, Walter Zulehner, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electrical engineering-- Data processing, Congresses.,Engineering mathematics-- Data processing, Congresses.,Computational Science and Engineering.,Computer-Aided Engineering (CAD, CAE) and Design.,Electrical Engineering.,Mathematical Modeling and Industrial Mathematics.,Mathematics.,Simulation and Modeling.,Theoretical, Mathematical and Computational Physics.,Computer modelling & simulation.,Computer-aided design (CAD),Electrical engineering-- Data processing.,Electrical engineering.,Engineering mathematics-- Data processing.,Mathematical modelling.,Mathematical physics.,Maths for scientists.,TECHNOLOGY & ENGINEERING-- Mechanical.
Classification :
TK5
1395. Scientific computing with automatic result verification
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic data processing,، Computer science-- Mathematics
Classification :
QA
76
.
S368
1993
1396. Scientific computing with automatic result verification
Author: / edited by E. Adams, U. Kulisch
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic data processing,Computer science - Mathematics
Classification :
QA
76
.
S368
1993
1397. Scientific computing with automatic result verification
Author: / edited by E. Adams, U. Kulisch
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing,Computer science -- Mathematics
Classification :
QA
76
.
S36
1993
1398. Security by design :
Author: Anthony J. Masys, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Crisis management.,Private security services.,Security systems.,Artificial intelligence.,Business mathematics & systems.,Computer modelling & simulation.,Crime & criminology.,Crisis management.,Private security services.,Security & fire alarm systems.,Security systems.,TECHNOLOGY & ENGINEERING-- Mechanical.
Classification :
HV8290
.
S43
2018eb
1399. Security, privacy, and applied cryptography engineering :
Author: Anupam Chattopadhyay, Chester Rebeiro, Yuval Yarom (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science)
Classification :
QA76
.
9
.
A25
1400. Seismic wave propagation in non-homogeneous elastic media by boundary elements
Author: / by George D. Manolis, Petia S. Dineva, Tsviatko V. Rangelov, Frank Wuttke
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Boundary element methods,Seismic waves,Engineering,Geotechnical engineering,Computer simulation,Computer science--Mathematics,Mechanics, Applied.
Classification :
TA347
.
B69M25
2017
